/* Copyright (c) Huawei Technologies Co., Ltd. 2023-2023.
 * Description: add page attribute check support
 * Author: zhangxun <zhangxun38@huawei.com>
 * Maintainer: Xun Zhang
 * Create: 2023-08-15
 */

#ifndef __ARCH_RTOS_PAGE_ATTR_H__
#define __ARCH_RTOS_PAGE_ATTR_H__

int pageattr_register_range(unsigned long long start, unsigned long long size,
	unsigned long long attr, unsigned long long mask);
int pageattr_check(unsigned long long page, unsigned long long size);
void pageattr_clear_all(void);

#endif
